Automated Trust Negotiation with Time Behavior

In automated trust negotiation(ATN), strangers build trust relationship by disclosing attributes credentials alternately. In the recent study of ATN, there was no rigorous formal definition of ATN abstract model, and have nothing to do with the time behavior. It exist denial of service attack which can lead system to paralysis. We present the basic components of ATN abstract model. It defines ATN abstract model by bringing state-transition system. Based on this formalized basis, the time behavior will be explored. We analyze and discuss some time semantics of ATN, and describe the extended ATN by constructing a state-transition system with time behavior. It can describe the ATN abstract model more comprehensive and secure. The satiability of security policies in ATN is discussed.